On Meta-Modeling Formalisms and Rule-Based Model Transforms
نویسندگان
چکیده
In this paper, we propose to investigate the equivalence between different meta-modeling formalisms, with the practical target of sharing experience on model engineering. Our experience, derived from the MétaGen project, is embodied by rule-based "value-adding" model transforms, written on a special form of the Entity/Relationship formalism as a meta-modeling framework. We propose a scheme by which those transforms could be experimented in the framework of standard MOF-based meta-modeling. In order to support our proposal, we first compare three meta-modeling facilities, by describing how the same simple example of a modeling language is meta-modeled with each facility.
منابع مشابه
A Multi-Formalism Modeling Framework: Formal Definitions, Model Composition and Solution Strategies
In this paper, we present a multi-formalism modeling framework (abbreviated by MFMF) for modeling and simulation. The proposed framework is defined based on the concepts of meta-models and uses object-orientation to overcome the complexities and to enhance the extensibility. The framework can be used as a basis for modeling by various formalisms and to support model composition in a unified man...
متن کاملA Multi-Formalism Modeling Framework: Formal Definitions, Model Composition and Solution Strategies
In this paper, we present a multi-formalism modeling framework (abbreviated by MFMF) for modeling and simulation. The proposed framework is defined based on the concepts of meta-models and uses object-orientation to overcome the complexities and to enhance the extensibility. The framework can be used as a basis for modeling by various formalisms and to support model composition in a unified man...
متن کاملMeta Synthesis and Fuzzy Interpretive Structural Modeling of Talent Supply Chain Management in National Iranian Oil Company
The purpose of this paper was to present the talent supply chain management model of the National Iranian Oil Company. In term of aim, this research is considered an applied and developmental research based on mixed method. The statistic population in qualitative step consisted articles in domstic and foreign scientific information bases related to talent management and in Quantitative step the...
متن کاملA Symbolic Partial Order Reduction Algorithm for Rule Based Transition Systems
Partial order reductions are a class of methods that attempt to reduce the state space that must be explored to verify systems by explicit state enumeration. Partial order reduction algorithms have been successfully incorporated into tools such as Spin and VFSM-valid. However, current partial order algorithms assume that the concurrency model is based on processes. Rule based formalisms, such a...
متن کاملA Model-Driven Approach to Scenario-Based Requirements Engineering
A model-driven approach to scenario-based requirements engineering is proposed. The approach, which is based on Computer Automated Multi-Paradigm Modeling (CAMPaM), aims to improve the software process. A framework is given and implemented to reason about models of systems at multiple levels of abstraction, to transform between models in different formalisms, and to provide and evolve modeling ...
متن کامل